Interfacing Software Libraries from Nondeterministic Prototypes

نویسندگان
چکیده

منابع مشابه

Interfacing Hardware and Software Using C++ Class Libraries

As chip capacity increases and system-on-a-chip becomes more than just a catch phrase, hardware and system design are being driven in new directions. Systems are designed not just as hardware, but as a tightly coupled combination of both hardware and software. C++, extended with class libraries, is emerging as the way to design such complex systems. This paper proposes methods to specify and re...

متن کامل

Interfacing Hardware and Software

The paper treats the problem of automatic generation of communication interfaces between hardware devices such as FPGAs and ASICs and software programmable devices such as microprocessors In we introduced an object oriented approach to interface generation starting from a coarse grain process graph speci cation level to the nal device dependent implementation Here we present generic templates o...

متن کامل

Interfacing source transformation AD with operator overloading libraries

Scientific applications are usually written in a single language such as C, C++, or a flavor of Fortran. Various algorithmic differentiation (AD) tools exist to differentiate these applications by using source transformation [1, 2, 3, 4] or operator-overloading [5, 6]. The language that an application is written in often dictates the approach and tool to be used for differentiation. Additionall...

متن کامل

A Formal Model for Integrated Retrieval from Software Libraries a Formal Model for Integrated Retrieval from Software Libraries

Note: Most SVRC technical reports are available via anonymous ftp, from svrc.it.uq.edu.au in the directory /pub/techreports. Individual abstracts and compressed postscript les are available from Abstract The central problem associated with libraries of object-oriented software components is that of retrieval: how to nd in the library those components that can be used in the construction of a pa...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Design Automation for Embedded Systems

سال: 2003

ISSN: 0929-5585

DOI: 10.1023/b:daem.0000013066.31883.73